姚期智杨植麟首次联手给 AI 出的博士级题目,Kimi 多画出了「关键一条边」
姚期智杨植麟首次联手给 AI 出的博士级题目,Kimi 多画出了「关键一条边」Kimi 刷新 629 条边图论参考纪录,只多加了1条边,为什么数学界等了这么多年?
搜索
Kimi 刷新 629 条边图论参考纪录,只多加了1条边,为什么数学界等了这么多年?
Thinking Machines Lab发布Inkling 2 Small,并正以400亿美元投前估值筹集50亿美元;其训练数据部分采样自月之暗面Kimi K3,AA称权重放出后将成为中国以外得分最高的开放权重模型。
月之暗面发布2.8万亿参数后训练模型Kimi K3.1 Pro,其综合智能指数领先DeepSeek V4.1 Flash-1017和MiniMax M3.1 Flash,但API费用最高,并正研发Flash版本以平衡能力、成本与商业化。
Kimi K3.1 Pro 正式发布,具备3万亿级参数和100万 token 上下文,官方评测显示其在代码、Agent及金融等任务取得多项领先,完整权重将于11月4日前开放。
月之暗面正式推出 Kimi K3.1 Pro,认领匿名模型 Kibitz,以3万亿参数和100万token上下文强化Agent、前端与3D创作,并同步上线高速版,完整权重将于11月4日前发布。
大的要来了,而且一下来了俩。
好嘛,咱姐夫(Jeff Dean)投资的AI初创公司hillclimb,搞的RSI新基准终于出成绩了!
浪潮信息在AICC 2026发布搭载128芯本土AI芯片的元脑SD200 Ultra超节点AI服务器,通过超级算子融合技术将2.8万亿参数Kimi K3的Token生成时延降至5.85毫秒,与海外Inferact以"巨内核"路线共同打响万亿参数模型推理效率战。
Inferact开源TPU巨型算子与浪潮信息发布元脑SD200 Ultra超节点服务器,两家公司分别用谷歌TPU v7和128颗本土AI芯片,通过算子融合让Kimi K3推理性能提升3倍以上,且浪潮信息让K3自主编写超级算子。
推理创业公司Inferact用自研的megakernel内核结合DeepSeek的DSpark推测解码框架,让16块谷歌TPU v7运行Kimi K3达到每秒709个token,比同条件下16块英伟达GB200快57%。